paned: Handle pointer events from touchscreen devices
authorCarlos Garnacho <carlosg@gnome.org>
Mon, 19 May 2014 21:02:49 +0000 (23:02 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Fri, 23 May 2014 17:54:33 +0000 (19:54 +0200)
commit5fdf07547feb0215b555ff114f1d58322c3e93b6
tree119e29278c9ae607871532dd764432fcee74906f
parent04424319433c247f3e8a7703381840ff1c8caf3c
paned: Handle pointer events from touchscreen devices

GtkPaned may just capture pointer events because the child widget
doesn't happen to have GDK_TOUCH_MASK set, resort to checking the
device in that case.
gtk/gtkpaned.c